Results for 'Mauricio Amar Díaz'

971 found
Order:
  1.  14
    El averroísmo contemporáneo. Intelecto, imaginación y la cuestión del humano.Mauricio Guillermo Amar Díaz - 2020 - Contrastes: Revista Internacional de Filosofía 25 (1):45-59.
    El artículo indaga en la reemergencia de ciertos principios que la Edad Media vinculó al pensamiento de Averroes en pensadores contemporáneos como Giorgio Agamben, Roberto Esposito, Emanuele Coccia y Jean Baptiste Brenet. La eternidad del mundo y la separación del itnelecto vuelven a aparecer como sustento de una filosofía capaz de poner en tela de juicio ideas fundamentales de la modernidad como la de sujeto o persona, sin por ello entramparse en el nihilismo.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. La felicidad en el Mesías profano de Benjamin. Del estado de excepción a la violencia divina.Mauricio Amar Díaz - 2011 - In Carlos Muñoz Gutiérrez (ed.), El pensador vagabundo: estudios sobre Walter Benjamin. Madrid: Eutelequia.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  16
    Katechón y flujo. El Avicena de Ernst Bloch como antídoto a la teología política.Mauricio Amar Díaz - 2022 - Las Torres de Lucca: Revista Internacional de Filosofía Política 11 (1):169-175.
    El presente trabajo articula, desde el libro Avicena y la izquierda aristotélica de Ernst Bloch, una crítica a la estructura espacio-temporal de la teología política schmittiana. En lugar de pensar el espacio-tiempo sustentado en la figura del katéchon, donde adquieren sentido conceptos como el de estado de excepción y enemistad como sustento de lo político, en el Avicena de Bloch el flujo de la materia es fuente de toda relación, donde la propia soberanía no es más que un recurso posible, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    Descentralización en Bolivia y Uruguay. Una aproximación desde la teoría de la gobernanza.Iván Mauricio Sánchez Díaz - 2018 - Ratio Juris 13 (27):45-80.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  1
    Santo Tomás de Aquino y el Maestro Eckhart. Alcances en torno al ejemplo noético del muro en el De unitate intellectus contra averroistas.Sandro Paredes Díaz & Mauricio Albornoz Olivares - 2024 - Areté. Revista de Filosofía 36 (2):339-355.
    La relación entre Santo Tomás de Aquino y el Maestro Eckhart es un tema complejo, especialmente en lo referido a la noética. Nuestro trabajo explora la posibilidad de establecer conexiones y diferencias a partir del ejemplo noético del muro usado por el Aquinate en De unitate intellectus, y al cual Eckhart hace referencia en algunas de sus obras. Se ofrece un análisis del ejemplo del muro y su uso por parte de Eckhart en algunos de sus sermones y tratados. A (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Ética de la imaginación. Averroísmo, uso y orden de las cosas.Mauricio Amar - 2018 - Santiago: Editorial Malamadre.
  7. Teoría planetaria e hipótesis astronómicas: el desarrollo de la physica coelestis durante el renacimiento científico.Mauricio Elena Díaz - 1982 - Dianoia 28:179-198.
    No categories
     
    Export citation  
     
    Bookmark  
  8.  17
    Poética y política en la filosofía de al-Fārābī.Kamal Cumsille Marzouka & Mauricio Amar - 2023 - Res Pública. Revista de Historia de Las Ideas Políticas 26 (3):161-168.
    El presente artículo se centra en explorar una cuestión fundamental del pensamiento de al-Fārābī, específicamente su comprensión de la potencia de la poesía y su papel político y social en el contexto del mundo árabe clásico. La lectura de este filósofo implica una reinterpretación innovadora de la Poética y la Retórica de Aristóteles, destacando el carácter productivo de la imaginación en términos de evocación de imágenes y creación de semejanzas. Se explora, asimismo, la influencia de la filosofía de al-Fārābī en (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Measuring Cognitive Abilities in the Wild: Validating a Population‐Scale Game‐Based Cognitive Assessment.Mads Kock Pedersen, Carlos Mauricio Castaño Díaz, Qian Janice Wang, Mario Alejandro Alba-Marrugo, Ali Amidi, Rajiv V. Basaiawmoit, Carsten Bergenholtz, Morten H. Christiansen, Miroslav Gajdacz, Ralph Hertwig, Byurakn Ishkhanyan, Kim Klyver, Nicolai Ladegaard, Kim Mathiasen, Christine Parsons, Janet Rafner, Anders R. Villadsen, Mikkel Wallentin, Blanka Zana & Jacob F. Sherson - 2023 - Cognitive Science 47 (6):e13308.
    Rapid individual cognitive phenotyping holds the potential to revolutionize domains as wide‐ranging as personalized learning, employment practices, and precision psychiatry. Going beyond limitations imposed by traditional lab‐based experiments, new efforts have been underway toward greater ecological validity and participant diversity to capture the full range of individual differences in cognitive abilities and behaviors across the general population. Building on this, we developed Skill Lab, a novel game‐based tool that simultaneously assesses a broad suite of cognitive abilities while providing an engaging (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Individuos y universales en Adolfo García Díaz.Mauricio Beuchot - 1995 - Dianoia 41 (41):1.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  16
    Ciencia y filosofía en México en el siglo XX.Mauricio Beuchot - 2006 - México, D.F.: Universidad Nacional Autónoma de México.
    Ciencia y filosofía en Arturo Rosenblueth -- Algunos temas filosóficos de Antonio Gómez Robledo -- Leopoldo Zea y el problema de la filosofía latinoamericana -- Juan Hernández Luna y la historiografía de la filosofía en el México colonial -- Bernabé Navarro, filósofo -- Ontología y poesía en Ramón Xirau -- José Rubén Sanabria, un existencialista mexicano -- Fernando Salmerón y la filosofía -- Individuos y universales en Adolfo García Díaz -- Abelardo Villegas y los derechos humanos -- Aspectos del (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  17
    Individuos y universales en Adolfo García Díaz.Mauricio Beuchot Puente - 1995 - Dianoia 41:1-8.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  21
    (1 other version)El cristianismo de F. M. Dostoievski y su correspondencia con la experiencia del amor en Ignacio de Loyola.Manuel Díaz Márquez - 2017 - Pensamiento. Revista de Investigación E Información Filosófica 73 (276):673.
    Este artículo va a estar centrado en una cuestión fundamental: ¿pueden compararse las visiones éticas de Dostoievski e Ignacio de Loyola? Haciendo una revisión pormenorizada de las bases existenciales dostoievskianas, podremos comprobar cómo la vida de Ignacio de Loyola parece coincidir con la hoja de ruta que, más tarde, elaboraría Dostoievski en sus obras en busca de una plenitud humana. El hombre pleno propuesto por el autor ruso es un reflejo del San Ignacio que conocemos por su Autobiografía, un personaje (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Trece Tesis Pedagógicas. Espacios de Teoría de la educación.Juan Manuel Díaz-Torres (ed.) - 2005 - Tenerife, España: Arte.
    El territorio de la educación resulta inestable. Adentrarse especulativamente en él requiere perspectivas desde las que otear el horizonte. Sin embargo, pronto se toma conciencia de que tanto dicho confín como tales miradores se presentan nebulosos. No sólo resulta problemático dar una definición de educación; también lo es el articular los medios conducentes a las finalidades educacionales propuestas. A pesar de ello, se procede a educar incesantemente, lo que prueba la necesidad del acto educativo y, por tanto, la de su (...)
     
    Export citation  
     
    Bookmark  
  15.  36
    (1 other version)Causal Factors Implicated in Research Misconduct: Evidence from ORI Case Files.Sebastian R. Diaz, Michelle Riske-Morris & Mark S. Davis - 2007 - Science and Engineering Ethics 14 (2):297-298.
    The online version of the original article can be found under doi:10.1007/s11948-007-9045-2.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  16. Defending the phenomenal concept strategy.E. Diaz-Leon - 2008 - Australasian Journal of Philosophy 86 (4):597 – 610.
    One of the main strategies against conceivability arguments is the so-called phenomenal concept strategy, which aims to explain the epistemic gap between physical and phenomenal truths in terms of the special features of phenomenal concepts. Daniel Stoljar has recently argued that the phenomenal concept strategy has failed to provide a successful explanation of this epistemic gap. In this paper my aim is to defend the phenomenal concept strategy from his criticisms. I argue that Stoljar has misrepresented the resources of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  17.  39
    Marrying Past and Present Neuropsychology: Is the Future of the Process-Based Approach Technology-Based?Unai Diaz-Orueta, Alberto Blanco-Campal, Melissa Lamar, David J. Libon & Teresa Burke - 2020 - Frontiers in Psychology 11.
    A cognitive assessment strategy that is not limited to examining a set of summary test scores may be more helpful for early detection of emergent illness such as Alzheimer’s disease (AD) and may permit a better understanding of cognitive functions and dysfunctions in those with AD and other dementia disorders. A revisit of the work already undertaken by Kaplan and colleagues using the Boston Process-Approach provides a solid basis for identifying new opportunities to capture data on neurocognitive processes, test-taking strategies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  19
    The Evolution of the Concept of Historical Narration: Apogee and Crisis of the Dialectical Idea of Narration.Mauricio Casanova Brito - 2014 - Estudios de Filosofía Práctica E Historia de Las Ideas 16 (2):9-19.
    A pesar de que los historiadores han considerado frecuentemente que el conocimiento histórico moderno surge como contraparte a la filosofía de la historia y el positivismo, en la idea tradicional de narración la herencia de la filosofía dialéctica de Hegel es recurrente: en ambos casos, el devenir de la auto-constitución del ser determina el método de conocimiento. Hegel afirma que las fases de la lógica no son solamente condiciones trascendentales que hacen posible la experiencia, sino etapas en la auto-determinación del (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    Psychometric Properties of the 20-Item Toronto Alexithymia Scale in the Chilean Population.Mauricio González-Arias, Agustín Martínez-Molina, Susan Galdames & Alfonso Urzúa - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    Exploring The Netley British Red Cross Magazine: An example of the development of nursing and patient care during the First World War.Nestor Serrano-Fuentes & Elena Andina-Diaz - 2021 - Nursing Inquiry 28 (2):e12392.
    Netley Hospital played a crucial role in caring for the wounded during the nineteenth century and twentieth century, becoming one of the busiest military hospitals of the time. Simultaneously, Florence Nightingale delved into the concept of health and developed the theoretical basis of nursing. This research aims to describe the experiences related to nursing and patient care described in The Netley British Red Cross Magazine during the First World War. The analysis displays different nurses' roles and the influence of environmental (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Paris, Carlos: "ciencia, Conocimiento, Ser".D. Díaz Sánchez & Staff - 1958 - Revista de Filosofía (Madrid) 17 (64):93.
     
    Export citation  
     
    Bookmark  
  22.  68
    The Complex Nexus of Evolutionary Fitness.Mauricio Suárez - 2022 - European Journal for Philosophy of Science 12 (1):1-26.
    The propensity nature of evolutionary fitness has long been appreciated and is nowadays amply discussed. The discussion has, however, on occasion followed long standing conflations in the philosophy of probability literature between propensities, probabilities, and frequencies. In this paper, I apply a more recent conception of propensities in modelling practice to some of the key issues, regarding the mathematical representation of fitness and how it may be regarded as explanatory. The ensuing complex nexus of fitness emphasises the distinction between biological (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  33
    Shareholder Activism on Climate Change: Evolution, Determinants, and Consequences.Ivan Diaz-Rainey, Paul A. Griffin, David H. Lont, Antonio J. Mateo-Márquez & Constancio Zamora-Ramírez - 2024 - Journal of Business Ethics 193 (3):481-510.
    We study 944 shareholder proposals submitted to 343 U.S. firms on climate change issues during 2009–2022. We use logistic and two-stage regression to estimate the propensity for a firm to be targeted or subjected to a vote at the annual general meeting and, for voted proposals, the determinants of that vote. We also examine whether climate-related proposals affect investor returns and how they relate to firms’ future environmental performance and greenhouse gas emissions. Compared to a matched sample, we first find (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  15
    A World History of Nineteenth-Century Archaeology: Nationalism, Colonialism, and the Past.Margarita Diaz-Andreu - 2007 - Oxford University Press UK.
    Margarita Diaz-Andreu offers an innovative history of archaeology during the nineteenth century, encompassing all its fields from the origins of humanity to the medieval period, and all areas of the world. The development of archaeology is placed within the framework of contemporary political events, with a particular focus upon the ideologies of nationalism and imperialism. Diaz-Andreu examines a wide range of issues, including the creation of institutions, the conversion of the study of antiquities into a profession, public memory, changes in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Reasons to Respond to AI Emotional Expressions.Rodrigo Díaz & Jonas Blatter - 2025 - American Philosophical Quarterly 62 (1):87-102.
    Human emotional expressions can communicate the emotional state of the expresser, but they can also communicate appeals to perceivers. For example, sadness expressions such as crying request perceivers to aid and support, and anger expressions such as shouting urge perceivers to back off. Some contemporary artificial intelligence (AI) systems can mimic human emotional expressions in a (more or less) realistic way, and they are progressively being integrated into our daily lives. How should we respond to them? Do we have reasons (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  23
    Modeling law search as prediction.Faraz Dadgostari, Mauricio Guim, Peter A. Beling, Michael A. Livermore & Daniel N. Rockmore - 2020 - Artificial Intelligence and Law 29 (1):3-34.
    Law search is fundamental to legal reasoning and its articulation is an important challenge and open problem in the ongoing efforts to investigate legal reasoning as a formal process. This Article formulates a mathematical model that frames the behavioral and cognitive framework of law search as a sequential decision process. The model has two components: first, a model of the legal corpus as a search space and second, a model of the search process that is compatible with that environment. The (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  15
    Late Frontal Negativity Discriminates Outcomes and Intentions in Trust-Repayment Behavior.Mauricio Aspé-Sánchez, Paola Mengotti, Raffaella Rumiati, Carlos Rodríguez-Sickert, John Ewer & Pablo Billeke - 2020 - Frontiers in Psychology 11:532295.
    Altruism (a costly action that benefits others) and reciprocity (the repayment of acts in kind) differ in that the former expresses preferences about the outcome of a social interaction, whereas the latter requires, in addition, ascribing intentions to others. Interestingly, an individual’s behavior and neurophysiological activity under outcome- versus intention-based interactions has not been compared directly using different endowments in the same subject and during the same session. Here, we used a mixed version of the Dictator and the Investment games, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  19
    La filosofía de la historia (cap. II).Ceferino González & Diaz de Tuñon - 1995 - Cuadernos Sobre Vico 96:471.
  29. Internet y los peligros del olvido del cuerpo: una invitación a la lectura de" on the internet" de Hubert L. Dreyfus.Jesús M. Díaz Álvarez - 2007 - In César Moreno, Rafael Lorenzo & Alicia Ma de Mingo (eds.), Filosofía y realidad virtual. Zaragoza: Prensas Universitarias de Zaragoza. pp. 285--300.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  11
    En la fundación del pensamiento contemporáneo. Saint-Simon y Maistre, paradigmas de la apropiación europea de El Evangelio en triumpho de Olavide.José Manuel Díaz Martín - 2023 - Araucaria 25 (54).
    El presente artículo pretende invitar al estudio del impacto que tuvo _El Evangelio en Triumpho_ de Olavide sobre el pensamiento decimonónico. Con ese fin propone, en primer lugar, leerlo captando en sus rasgos esenciales el valor alegórico de sus personajes en sus relaciones. A continuación, señala qué aspectos de esa lectura habrían influido de manera más marcada en las obras de Maistre y Saint-Simon, con las que abarca las dos tendencias post-revolucionarias de entender la historia, catecóntica y quiliástica. Finalmente, presenta (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  15
    Hermenéutica: interpretaciones desde Nietzsche, Heidegger, Gadamer y Ricoeur.Mauricio Navia A. & Agustín Rodríguez V. (eds.) - 2008 - Mérida, Venezuela: Universidad de Los Andes, Consejo de Publicaciones.
  32. Historia de la Filosofía Cristiana en Mexico.José Rubén Sanabria & Mauricio Beuchot - 1999 - Revue Philosophique de la France Et de l'Etranger 189 (1):110-110.
     
    Export citation  
     
    Bookmark  
  33. A patterned process approach to brain, consciousness, and behavior.José-Luis Díaz - 1997 - Philosophical Psychology 10 (2):179-195.
    The architecture of brain, consciousness, and behavioral processes is shown to be formally similar in that all three may be conceived and depicted as Petri net patterned processes structured by a series of elements occurring or becoming active in stochastic succession, in parallel, with different rhythms of temporal iteration, and with a distinct qualitative manifestation in the spatiotemporal domain. A patterned process theory is derived from the isomorphic features of the models and contrasted with connectionist, dynamic system notions. This empirically (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  37
    From Trust in Automation to Decision Neuroscience: Applying Cognitive Neuroscience Methods to Understand and Improve Interaction Decisions Involved in Human Automation Interaction.Kim Drnec, Amar R. Marathe, Jamie R. Lukos & Jason S. Metcalfe - 2016 - Frontiers in Human Neuroscience 10.
  35.  33
    Varieties of Three-Values Heyting Algebras with a Quantifier.Manuel Abad, J. P. Diaz Varela & L. A. Rueda - 2000 - Studia Logica 65 (2):181-198.
    This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  13
    De corpo presente (De uma Belém a outra) | Body present (From one Belém to another).Mauricio Igor Almeida & Laura Benevides - 2021 - Revista Philia Filosofia, Literatura e Arte 3 (2):418-428.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Estética y cotidianidad en la vivienda vernácula Mexicana.Mauricio Velasco Avalos [Y.] Alma Pineda Almanza - 2021 - In Nicolás Amoroso, Olivia Fragoso Susunaga & Alejandra Olvera Rabadán (eds.), Lo estético en el arte, el diseño y la vida cotidiana. Ciudad de México: Universidad Autónoma Metropolitana, Azcapotzalco.
     
    Export citation  
     
    Bookmark  
  38.  41
    Ensino de filosofia: Onde reside O problema?Mauricio Silva Alves - 2016 - Cadernos Do Pet Filosofia 7 (14):72-79.
    Desde a aprovação da Lei nº 11.684, de 02 de junho de 2008, as questões sobre o Ensino da Filosofia tem tomado amplamente diversos âmbitos teóricos. De um lado tem-se a abordagem de autores que defendem o ensino de filosofia numa perspectiva filosófica e não pedagógica. O que se quer dizer aqui, é que o Ensino de Filosofia no Ensino Médio em sua essência não é intelectualmente inferior à docência universitária, já que ambos possuem suas técnicas e aportes teóricos específicos. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  1
    Recensión: Jacob Buganza-Rafael Cúnsulo, Breve esquema de antropología filosófica.Mauricio Beuchot - 2013 - Studium Filosofía y Teología 16 (32):359-361.
    Jacob Buganza-Rafael Cúnsulo, Breve esquema de antropología filosófica, Buenos Aires, Ágape, 2012, 176 pp.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Sobre algunos aspectos de la "argumentación" del escepticismo.Mauricio Beuchot - 1988 - Analogía Filosófica 2 ([1]):83.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  9
    Sobre Justificar la guerra.Mauricio Beuchot - 2001 - Signos Filosóficos 6:277-280.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  31
    Santo Tomás de Aquino: "Del gobierno de los príncipes".Mauricio Beuchot - 2005 - Revista Española de Filosofía Medieval 12:101-108.
    En el presente artículo trato de exponer las principales ideas de Tomás de Aquino en su obra Del gobierno de los príncipes, relacionándolas con la filosofía política contemporánea. Entre las ideas defendidas por Tomás de Aquino que guardan relación con nuestra cultura, señalamos las siguientes: la idea de bien común, presente en la filosofía comunitarista; la idea de justicia distributiva, de John Rawls y Amartya Sen, y la idea de Estado justo, no sólo legítimo.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Universales y abstraccion en Francisco de Araujo (1580-1664).Mauricio Beuchot - 1980 - Dianoia 26 (26):214-228.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  13
    Vicente Aragón y la Lógica Maior o Dialéctica en el México del siglo XVIII.Mauricio Beuchot - 1988 - Cuadernos Salmantinos de Filosofía 15:275-284.
  45. Vida y obra de Juan de Santo Tomás.Mauricio Beuchot - 1999 - Cuadernos de Pensamiento Español 12:7-23.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  19
    Verdad y Otredad en Emmanuel Lévinas como Rakes de la Comunicación.Mauricio Beuchot - 2003 - Glimpse 4:1-7.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  16
    La colectivización como estrategia de resistencia ante la censura en el teatro moderno en Colombia.Mauricio Trujillo Sánchez - 2022 - Escritos 30 (64):121-135.
    The article seeks to investigate the role that censorship had in the history of modern Colombian theater during the decades from 1950 to 1980, on the basis of a journey through the trajectory of groups such as Candelaria, TEC and Escuela Municipal de Teatro, as well as its directors Santiago García, Enrique Buenaventura and Gilberto Martínez. The censorship usually came from government institutions, Church ministers, or educational institutions such as universities and colleges. In addition to the analysis of direct censorship (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  31
    Predecessors Existence Problems and Gardens of Eden in Sequential Dynamical Systems.Juan A. Aledo, Luis G. Diaz, Silvia Martinez & Jose C. Valverde - 2019 - Complexity 2019:1-10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Presentación.Pedro Alves & Jesús Díaz Álvarez - 2008 - Investigaciones Fenomenológicas 6:9-12.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  47
    Natural deduction and semantic models of justification logic in the proof assistant Coq.Jesús Mauricio Andrade Guzmán & Francisco Hernández Quiroz - forthcoming - Logic Journal of the IGPL.
    The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 971